body {
  font-family: Arial, sans-serif;
  margin: 1em;
}

#title .service {
  color: #AAA;
  padding-left: 0.2em;
  font-size: 20px;
}

#source {
  width: 100%;
  height: 400px;
} 

.gjslint-error-entry-code {
  font-family: monospace;
  white-space: pre;
  margin-left: 0.4em;
}

.gjslint-error-entry {
  margin: 0.5em 0.5em;
  padding-left: 0.5em;
  border-left: 5px solid #F99;
}

.gjslint-error-entry:hover {
  background-color: #DDF;
}